#include <gtk/gtk.h>


void on_button1_clicked (GtkWidget *objet_graphique,gpointer user_data);

void on_button2_clicked (GtkWidget *objet_graphique,gpointer user_data);
